Section: Dissemination

Promoting Scientific Activities

Scientific Events: Organisation

General Chair, Scientific Chair

• Alain Girault is member of the steering committee of the International Federated Conference on Distributed Computing Techniques (DISCOTEC) and of the ACM International Conference on Embedded Software (EMSOFT).

• Gregor Gössler is member of the steering committee of the International Workshop on Causal Reasoning for Embedded and Safety-critical Systems Technologies (CREST).

• Jean-Bernard Stefani is the current chair of the steering committee of the IFIP FORTE international conference series, a member of the steering committee of the IFIP DISCOTEC conference series, and the current chair of the IFIP Working Group 6.1.

Member of the Organizing Committees

• Alain Girault was co-organizer of the Workshop on Synchronous Programming (SYNCHRON'19) http://synchron19.org.

• Gregor Gössler was co-organizer of a Shonan seminar on Causal reasoning in systems https://project.inria.fr/shonan139.

Scientific Events: Selection

Chair of Conference Program Committees

• Sophie Quinton was the program chair of 31st Euromicro Conference on Real-Time Systems (ECRTS'19) https://www.ecrts.org/archives/fileadmin/WebsitesArchiv/ecrts2019/index.html.

Member of the Conference Program Committees

• Alain Girault served in the program committees of the Forum on specification and Design Languages (FDL'19) and the Conference on Applications of Concurrency to System Design (ACSD'19).

• Gregor Gössler served in the program committees of the ACM/IEEE International Conference on Embedded Software (EMSOFT'19), the 26th SPIN Symposium on Model Checking of Software (SPIN'19), the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE'19), and the 4th international Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology (CREST'19).

Reviewer

• Alain Girault reviewed an article for the International Conference on Fundamental Approaches to Software Engineering (FASE'19).

• Sophie Quinton reviewed an article for the ACM International Conference on Embedded Software (EMSOFT'19).

• Pascal Fradet reviewed an article for the ACM International Conference on Embedded Software (EMSOFT'19).

Journal

Member of the Editorial Boards

• Alain Girault is a member of the editorial board of the Journal on Embedded Systems.

Reviewer - Reviewing Activities

• Alain Girault reviewed articles for IEEE Transactions on Service Computing (TSC) and for the International Journal on Software Tools for Technology Transfer (STTT).

• Gregor Gössler reviewed an article for IEEE Transactions on Automatic Control (TAC).

Leadership within the Scientific Community

• Sophie Quinton is a member of the ACM SIGBED Executive Committee and Associate Editor of the SIGBED Review.

Research Administration

• Pascal Fradet is head of the committee for doctoral studies (“Responsable du comité des études doctorales”) of the Inria Grenoble – Rhône-Alpes research center and local correspondent for the young researchers Inria mission (“Mission jeunes chercheurs”).

• Alain Girault is Deputy Scientific Director at Inria in charge of the domain “Algorithmics, Programming, Software and Architecture”. He is also Scientific Manager of the Cyber-Physical Systems axis of the Persyval-Lab labex https://persyval-lab.org.

• Xavier Nicollin is member of the committee for computing resources users (“Comité des Utilisateurs des Moyens Informatiques”) of the Inria Grenoble – Rhône-Alpes research center.

• Jean-Bernard Stefani is Head of Science (délégué scientifique) of the Inria Grenoble – Rhône-Alpes research center and a member of the Inria Evaluation Committee.